#include "pch.h"
#include "kernel_api.h"

void driver_on() {
    LoadDriver();
    OpenDevice();
}

void driver_off() {
    CloseDevice();
    UnloadDriver();
}

BOOLEAN ke_write_by_mdl(uint64 addr, PVOID buff, uint64 size) {
    return MmWriteByMdl(0, (PVOID)addr, buff, size);
}

